More from this Author

Formal Methods

by Paul P. Boca (Editor), Jonathan P. Bowen (Editor), Jawed I. Siddiqi (Editor)